[doc] Mise à jour du thème sphinx

1 job for main in 4 minutes and 24 seconds (queued for 1 second)