A parametric F4 algorithm