"clairefontaine graph"