vince (./14) :
on devrait leur imposer la preuve de leur code... (preuve des algos & preuve de leur mise en oeuvre)

C'est déjà couvert, noramlement, par les tests des machines...