les formation HEURES dif sont t elles toujours à faire après les heures de travail ?? à la demande du salarié et avec l’accord du patron ??