Strong log-concavity for the first eigenfunction of the Ornstein-Uhlenbeck operator in the class of convex bodies | Synapse