Challenge 76 du blog Math-OS - Condition de stricte positivité pour les polynômes symétriques élémentaires.