A cause de fish et de ses thèmes (déja bonjour le nerd) je retombe dans l’enfer des polices patchées. Et Nerd Fonts, c’est *bien\* patché