Diu, quantifieur temporel de domaine homogène