Je ne sais pas comment, mais le séparateur décimal dans le navigateur Web Firefox de mon ordinateur portable est passé de point (point) à virgule. Je l'ai trouvé dans la section Téléchargements de Firefox. Comment je le retourne? Juste au cas où: Linux Mint est le système d'exploitation et que le séparateur décimal est toujours un point dans le système d'exploitation.