de Jonge , fr. Gibraltar.