(module QED.Tau)