Formalisation des structures de contrôle de PROLOG