Progrès Niederkorn vs Strassen + “résultats”