[Tutti-commits] 01/01: c'est l'inverse, on divise si on a des millimètres... (fixes #8156)