Architecture de Smart Contracts certifiée avec comportement vérifié à travers tous les modules.