Quelques précisions: un interligne de 1.5 ne correspond pas à une valeur de `\baselinestretch` de `1.5`. Ça dépend de la taille de police: 1.5 signifie 1.5 × la taille de la police. Dans l'extension `setspace`, on peut vérifier que `onehalfspacing correspond à `\setstretch{1.25}` en 10 pt, `1.213` en 11pt et `1.241` en 12 pt.
Il est recommandé d'utiliser `setspace` dans ce cas, parce que, précisément, elle tient compte qu'il n'est pas souhaitable en général d'augmenter l'interlignage dans les notes de bas de page et un certain nombre d'environnements. Pour ceux qui ne seraient pas pris en compte par `setspace`, il est recommandé de suivre la suggestion de touhami (ou peut-être `\BeforeBeginEnvironment{\singlespacing}`, `\BeforeBeginEnvironment{\singlespacing}`), éventuellement complétée, si la modification déborde après l'environnement, par
`\AtEndEnvironment{\onehalfspacing}` ou `\AfterEndEnvironment{\onehalfspacing}`.
Bernard