Langages du premier ordre sur graphes et théorie sur catégorie — Georges Blanc