Uniform interpolation, automata and the modal U-calculus door G. D'Agostino