Tit_Coq_article_le_journal (Large)