Correction généralisation de sup recursivité gauche