Grève dans l'Education nationale le 5 décembre : quelle est l'ampleur de la mobilisation ?