Roland Ducournau Le hachage parfait fait-il un parfait test de sous-typage? 71-86 2006 conf/lmo/2006 LMO db/conf/lmo/lmo2006.html#Ducournau06