let applique = function f1 -> 
  match f1 with 
    Fbool f1 -> function x -> f1 x ;;

let est_vrai = ou vrai vrai ;;

applique est_vrai true = applique vrai true ;;
applique est_vrai false = applique vrai false;;

est_vrai = vrai;;