Functional calculus on weighted Sobolev spaces for the Laplacian on the half-space | Synapse