ajout des regles de la logique de hoare