Algèbres différentielles fortement homotopiquement associatives — Alain Prouté