Présentation du rapport d'information sur les missions européennes d'intervention au Mali.