gricad-gitlab sera indisponible mardi 08/04/2025 entre 12h00 et 13h30 pour une opération de maintenance.
For some reason, I believed that the source dir containing the main program need to be named bin for dune to work smoothly. But actually, it seems to work fine with src, so let's go for it.