On vérifie que tout rentrera