Fortin operator and discrete compactness for edge elements