Agrégation interne: compilation des faits de langue