The actual character displayed as a decimal separator depends on the number format in your system settings.
Le caractère utilisé comme séparateur de décimales dépend du format numérique des paramètres de votre système.