Bof, si on fait signer le client sur le fait qu'on aura le temps (et l'argent) pour prouver formellement les programmes, moi je dis pas non :D