Talk for FLINT at IBM Research, Saclay. Presented by my advisor (I was down with fever!)