val-lustre-ex