4 logique implicite illustrations et vecteurs sont disponibles libre de droits.