Feature a/3389 no int array
See #3389, coming from an investigation on a wise question #3392 by @mikael-s.
More than four years later, fix a3adb644 (was done with #915 (closed) in mind ?).
Prochaines maintenances programmées: mardi 02/04, lundi 06/05, lundi 03/06
Pour plus d'informations: https://doc-si.inria.fr/display/SU/Gitlab
See #3389, coming from an investigation on a wise question #3392 by @mikael-s.
More than four years later, fix a3adb644 (was done with #915 (closed) in mind ?).