Correction bug dans beta-reduce
Ajouts exemples formula