Calcul symbolique avec des diagrammes de Penrose