Virgule qui sépare la partie entière de la partie décimale d'un nombre réel écrit en notation décimale.