Foundations of modern analysis - J. Dieudonne