parsage a l'air de marcher
petite modif dans certificat optimalite (coeff constant)
tests, il manque le include pour rand