histoire formalisée Synonym