1/ Configuration de Raspberry Pi :pi@minetest:~ $ sudo raspi-config
2/ Changement de local : [4 Localisation Options] [I1 Change Locale] 3/ Sélection des locales :
Locales to be generated:
[en_GB.UTF-8 UTF-8] = Decoché [ ] en_US.UTF-8 UTF-8] = Coché [< Ok >] 4/ Sélection de la locale par défaut :
Default locale for the system environment:
en_US.UTF-8 [< Ok >]