Pourquoi les e-mails de commande WooCommerce n’arrivaient pas sur Gmail

Les e-mails de commande WooCommerce n’arrivaient pas sur Gmail alors que wp_mail() indiquait un succès. Voici la mauvaise configuration SPF en cause, et la correction en une ligne.