détripler
Étymologie
[modifier le wikicode]Verbe
[modifier le wikicode]détripler \de.tʁi.ple\ transitif 1er groupe (voir la conjugaison)
- Réduire ce qui était triple en unités simples.
Détripler les files d’un bataillon, c’est les composer de deux hommes au lieu de trois.
Si les astronomes, qui dédoublent ou détriplent des étoiles à cent mille milliards de lieues, n’étaient pas capables de reconnaître un phénomène cosmique, dans le rayon de quelques kilomètres seulement, à quoi bon des astronomes ?
— (Jules Verne, Robur le Conquérant)Nous ne comptons pas ceux qui, utilisant la technique des Nocturnes, ont dédoublé ou détriplé leurs spectres moléculaires
— (Nathalie C. Henneberg, Le Dieu foudroyé, 1976)
Dérivés
[modifier le wikicode]Vocabulaire apparenté par le sens
[modifier le wikicode]Prononciation
[modifier le wikicode]- France (Lyon) : écouter « détripler [Prononciation ?] »
- Somain (France) : écouter « détripler [Prononciation ?] »
Références
[modifier le wikicode]- « détripler », dans Émile Littré, Dictionnaire de la langue française, 1872–1877 → consulter cet ouvrage