A strict error bound with separated contributions of the discretization and of the iterative solver in non-overlapping domain decomposition methods