* il y a 25,4 millimètres en un pouce.
Pour savoir combien de pouces y a 9,5 mm, divisez 9,5 par 25,4:
* 9,5 mm / 25,4 mm / pouce = 0,374 pouces