TP3 algo: verification en remontant