Guerre en Iran : le « Charles de Gaulle » rentre à Toulon, deux chasseurs de mines restent prêts à intervenir à Ormuz