Préciser que la forgeMIA est une instance de GitLab

Remarque pendant la session de formation de formateur du 16/10/2024 :

Pour éviter une confusion entre le logiciel gitlab / le service fourni par gitlab / la forgemia qui est une instance de gitlab, il serait utile de préciser dans la diapositive de présentation de gitlab que la forgeMIA est une instance de gitlab hébergée par le département mathnum.