Voici comment calculer cela:

* 1 pouce =25,4 mm (c'est le facteur de conversion standard)

* 9,3 mm / 25,4 mm / pouce =0,366142 pouces