Arbre d’ascendance de Oscar Jules VAINQUIER