Describir: Simplication, explicitation and normalization :