Debré, Michel, 1912-