Adapt to MathComp 2.0
This is not backward compatible so you may not want to merge it soon.
La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
This is not backward compatible so you may not want to merge it soon.