Publications by authors named "Patrick Girardie"