(ou de contrôles de saisie qui pourraient remplacer automatiquement la virgule par un point...)