¿Qué mecanismos tiene un funcionario docente para denunciar que es objeto de mobbing? ¿Denuncia ante la inspeccción de educación? ¿Inspección de Trabajo? ¿Jurisdicción social? ¿Penal? ¿Otras opciones? ¿Son compatibles estas vías las unas con las otras? Gracias.