Suicide de Lucas, 13 ans : des mesures avaient-elles été prises contre le harcèlement ?