les SIN reposent sur un ensemble de techniques de raisonnement logique permettant de simplifier, de séquencer et de ...