Une nouvelle prime pour certains employés de la DGSE