Homomorphismes principaux de tas et de groupoïdes — Pierre Antoine Grillet