Girardon hole