Le drame de Mers el-Kébir — Jean-Jacques Antier