When using XeLaTeX and babel "francais", I sometimes get weird spacing: e.g. \, makes a wider space than the regular space (see what happens on the second line here).
\documentclass[12pt,a4paper]{article}
\usepackage{xltxtra}
\usepackage[francais]{babel}
\usepackage[margin=3cm]{geometry}
\usepackage{hyperref}
\setromanfont[Mapping=tex-text,Numbers={OldStyle},Ligatures={Common},Contextuals=Alternate]{Garamond Premier Pro}
\newcommand{\teng}[1]{\emph{#1}}
\begin{document}
\noindent (par exemple Z3 de Microsoft ou Yices de SRI)\,; ce dernier donne une solution qui correspond à une trace d'exécution menant de la précondition à une des postconditions dont on désire déterminer l'accessibilité (par exemple, des conditions d'erreur comme la division par zéro).
\end{document}
frenchb
is\usepackage[french]{babel}
instead of\usepackage[francais]{babel}
afaik.