GitHub to GitLab

Transfert de GitHub à GitLab en utilisant le tuto de Mathieu Degrange

Modification de .gitlab-ci.yml en utilisant mdbook.yml qui est dans .github/workflows.

Mais forcément cela ne fonctionne pas le pipelines. Il faut surement modifier. Il y a aussi un ancien dépôt Mdbook Pdf