Une bien belle police de caractères pour développeur. Ca me donne envie d’essayer (malgré ma résolution de ne plus bidouiller mon système)