Challenge 67 du blog Math-OS - Une inégalité qui pourrait bien s'interpréter géométriquement ... ou pas (?)