À la mémoire de Henry Robbins (1927-1979)