Deletion of Robert Gros

Comment: From the references cited appears to meet 
Stance: keep
Cited policy: Wikipedia:Notability (WP:GNG)