Chantier: un nouveau tapis pour l'échangeur Strassen

Dernière modification le