Prime de 10 000 euros pour les fonctionnaires : qui peut en profiter ?