https://123dok.net/document/ozle1erq-groupes-groupes-propres-infini-minimax-hypercentrauxou-hypercentral-minimax.html