Est-ce que le détroit d'Ormuz est miné ?: "On ne le sait pas", explique Christophe Gomart, ancien directeur du renseignement militaire