fix #18: virgule oubliée