Logique stable