This is Sylvain Rossi's BSc thesis.