Pertinence de la logique informelle