dragaminas

== Espagnol == === Étymologie === Composé de dragar et de mina. === Nom commun === dragaminas \Prononciation ?\ masculin (Navigation) Dragueur de mine, démineur. ==== Synonymes ==== cazaminas === Références === Real Academia Española, Diccionario de la lengua española, 23e édition → consulter cet ouvrage === Voir aussi === dragaminas sur l’encyclopédie Wikipédia (en espagnol)