suite (logique)