Using B as a High Level Programming Language in an Industrial Project: Roissy VAL