Golfe Persique : Initiée par la France, l'opération de patrouille navale « Agenor » a été mise en sommeil