La prime de service est-elle versée lorsque l’agent n’est plus dans l’établissement au 30 juin (retraite ou changement d’établissement) ?