Recommander 3 JUILLET 1940---L'AGRESSION BRITANNIQUE SUR MERS-EL-KEBIR