prix Dahl-Nygaard — 3 lauréats