https://github.com/OCA/web/tree/12.0/web_decimal_numpad_dot
Utiliser le point du clavier numérique comme séparateur décimal, même si les options locales définissent la virgule comme séparateur.