Pensionamento d’ufficio, la domanda di cessazione va presentata o no?