Tentative de mise à jour (OEIS).

Mais ça fait de la merde sur le positionnement de « Other modules », je comprends pas pourquoi