raisonnement sur une figure codée