Documents Sciences formelles Results of the 2007 UT Modeling Benchmark Using Two Semi-Analytical Beam Propagation and Flaw Scattering R. Raillon, S. Chatillon, S. Mahaut, And M. Spies