noun, feminine/viʁ.ɡyl/plural: virgules
comma (punctuation mark); decimal comma (see usage notes)
“En Europe continentale, la virgule permet de noter la partie décimale; pi vaut environ 3,1415.” — In continental Europe, the comma is used to denote the decimal part; pi is about 3.1415.
Borrowed from Latin virgula, diminutive of virga (“rod, branch”).