fonctions pr conjectures