Extraction des bugs avec JAXB de façon static + TU