Destruction d'une mine de la seconde guerre au large de Port-Vendres : comment les experts de la Marine nationale ont procédé