Indisponibilité de la forge le mardi 18 mars entre 12h et 14h UTC+1 pour une maintenance de sécurité. Les services d'IRD Forge seront coupés : interface web, dépôt git, intégration continue, pages. Merci pour votre patience et votre compréhension.
commencé à regarder si on a une insertion deletion ou substitution, et de quelle taille. pas fini, mais fonctionne
