André Devos (~1927-~1987)