A convenient category for directed homotopy.