Démission d'un délégué syndical : elle doit être officielle pour que le patron la considère effective