Quelques conseils et astuces pour la mise en page de documents pédagogiques