Première mondiale à Leipzig: un bloc opératoire entièrement robotisée