Antoine Thomas (29 novembre 1857-17 mai 1935)

@inproceedings{RoquesAntoineT,
  title={Antoine Thomas (29 novembre 1857-17 mai 1935)},
  author={Mario Roques}
}