修复在墙上的灰泥的工人 工人用铲子把石膏铺在墙上，修补工程