Here’s a roundup of what happened at VivaTech 2018.