Logique de Hoare finie