CLIPS ET EXTENSIONS