Diagrammes de Penrose et réécriture en dimension 2 Y. Lafont (1992) Cahiers de Topologie et Géométrie Différentielle Catégoriques