combien font 9,5 cent-millièmes en micromètres?​