Log concavité du déterminant

On démontre que l'application déterminant est log concave sur $S_n{++}$ de deux manière différente une version algébriste et une analytique par le calcul intégrale je trouve ça jolie et ptet un peu original. (Peut être utilisé dans ellipsoïde de John je crois..)