Je précise (pour qui, je me demande bien): Ben est mon prénom unique et véritable, pas un diminutif. J'ai calculé un jour que j'économiserai 261 stylos à bille dans ma vie, grâce à la brièveté de mon prénom. A vrai dire, je ne suis pas très sûr de mes calculs.