A chat with Jean Dieudonné