Un tutorial git.
Une application web pour créer un diagramme tikz-cd.
Si vous souhaitez me voir mais n'êtes jamais venu à l'École polytechnique, il est plus prudant de consulter ma page de plans.