BookeldOr :
pour vérifier ça, un daughter ref option, et on peut vérifier si c'est bien le meme paramètre que le premier avec l'opé == mais c'est encore plus lourd

Ah non je ne parle pas de le vérifier dynamiquement (d'ailleurs pas besoin de référence pour ça, == suffit), je parle d'être sûr que c'est le cas statiquement...

let p x y = fun z -> z x y ;;

let q () = 
  let x1 = fun x -> p x x in 
  let x2 = fun z -> x1 (x1 z) in 
  let x3 = fun z -> x2 (x2 z) in 
  let x4 = fun z -> x3 (x3 z) in 
  let x5 = fun z -> x4 ( x4 z) in 
    x5 (fun z -> z);;

(facile à comprendre que le type généré croit très vite, avec un x6 c'est encore plus long, etc...

Oui je connaissais ^^