2.01.3. Partie tout recherche du tout (multiplication) avec des entiers ronds