Comment s’appellent les habitants de la ville de Troyes ?