À quel temps est « il eut mangé » ?