Formalite d'une application et suite spectrale d'Eilenberg-Moore