Statistics of Flexibilité du temps de travail: des stratégies différenciées pour les hommes et les femmes ?