Drama v Mers-el-Kebíru - Jean-Jacques Antier (Historie, válečná lit.)