Devos , Pierre (1917-1972)