reecriture monade calc avec bind ne marche pas encore