J'ai déplacé le répertoire de build sur brasilia, pour des raisons d'espace disque. Les résultats de https://build.lrde.org/ risquent d'être perturbés quelques heures.

Au passage, est-il nécessaire que Vaucanson soit construit sur brasilia *et* caracas ? Apparemment, caracas se débrouille très bien pour compiler Vaucanson, et j'aimerais ne conserver que le build d'Olena sur brasilia.