Quels sont les effets d’une démission d’un agent titulaire ?