Coronavirus : la start-up Shark Robotics a conçu un robot décontaminateur