Chronologie: Bartel Leendert van der Waerden Biographie