Ajout d'operator pour afficher le type TypeSort