Etait-il nécessaire de restreindre le droit de grève dans le secteur éducatif?