Petit lifting qualité: commentaires, noms, cohérence prédicats