Dépôts de typeclasses

1 dépôt public de typeclasses au catalogue pour l’instant.