Not to be confused with Armand Borel.
Last revised on September 3, 2024 at 10:02:42. See the history of this page for a list of all contributions to it.