France: journée de grève dans la fonction publique