Houppeland ; intégrale de Tronchet