Merci macavlt !
J'ai finalement appliqué cette solution, qui est largement plus simple. La solution que je propose dans le premier poste est toujours valable, mais autant ne pas se casser la tête, et c'est plus simple pour les mises à jour de MacOSX. En plus, l'utilitaire de Bearextender est...