Merci de ta réponse, mais j’ai contacté ce vendeur hier et il s’avère que ces switchs ne sont pas les bons, c’est le capuchon qui fait 13mm. Il font donc environ 17mm au total avec le corps du switch.
J’ai craqué, j’ai commandé chez Farnell… 50 switches et 50 diodes 1n4148 pour 38€ frais de ports compris. C’est cher mais c’est pas non plus la ruine
Je viens de regarder le datasheet des switchs… pates 3.5mm (on ne compte pas), embase 3.5mm et puis après le capuchon c’est de taille variable… donc pour un total de 13mm, il ne reste que 9.5mm de hauteur pour le cylindre. Donc effectivement, c’est le modèle 9.5mm