::
Merci Olivier !
J’avais voulu gagner du temps en n’installant pas les logiciels tiers (je n’installe pas un serveur destiné à être mis en production…).
Mais du coup l’absence de gmpxx bloquait la compilation en cours de route…
J’ai bien perdu du temsp en voulant gagner 5 min !
