Vous utilisez un navigateur non à jour ou ancien. Il ne peut pas afficher ce site ou d'autres sites correctement. Vous devez le mettre à jour ou utiliser un navigateur alternatif.
Je me sers depuis longtemps (avant l'OS*9*!) de Tex-Edit Plus (à ne pas confondre avec TextEdit) pour toute sorte de documentation lorsque c'est uniquement le contenu texte qui m'intéresse.
Je me sers depuis presque aussi longtemps de Default Folder qui facilite les dialogues Ouvrir et...
