Compatibilité de conception humaine : ce que signifie réellement la correspondance de types