Indemnité inflation de 100 euros : le 13e mois et les primes sont-ils pris en compte dans le calcul ?