Formalisation d'une approche de supervision basée sur le Grafcet