Attention des changements sont bientôt à prévoir sur l'instance gitea d'Aurore :
Added main to tests Added dependency statics -> statics2 in scripts
It has type: reinit: t at r * t -> t at r It can be used to put a constant value in a location.