(une petite modif) + pb de typage sur fold (que je ne sais pas résoudre)