Aujourd'hui dans un petit restaurent ou je suis allé manger en famille un serveur qui travaillait pendant les vacances et qui faisait des classes prépa proposait une glace payé de sa poche contre la réponse à :

$$\int_0^{\frac{\pi}{2}} \frac{12}{2+\frac{x^2}{2}} dx = ?$$
Mais j'ai pas pu gagner de glace parce que mon père ne se souvenait plus des formules

Comme ce n'est pas vraiment une énigme je mets 24h pour ceux qui voudrais rédiger quelque chose.

Réponse arrondi à trois chiffres après la virgule dans la case.