correction de trucs, cvx ne fonctionne pas