Une prime versée au titre d’un dédommagement de NBI est-elle prise en compte pour la retraite ?