Fusionner avec le package Polytechnique
Faire en sorte que les deux packages soient mis sur le même répo et qu'ils soient installés en même temps.
Fusionner la documentation pourrait aussi être utile.
Faire en sorte que les deux packages soient mis sur le même répo et qu'ils soient installés en même temps.
Fusionner la documentation pourrait aussi être utile.