>>Demon

" K ouvert de R x~y ssi "

Il manque une virgule après R c'est ça ? Chipoter pour si peu ..