convertir une fonction en predicat

Version imprimable