PINCE à SOYER ET à DéPOINTER .