Benoît Sagot Directeur de recherche, Inria Paris; leads ALMAnaCH — INRIA Google Scholar Affiliations ● INRIA — Directeur de recherche, Inria Paris; leads ALMAnaCH