@misc{indiciae0d64aaba009a,
  title = {Joseph Devaux (1902-1936) Meteorologist at Pic du Midi Observatory},
  author = {Emmanuel Davoust and Jean-Paul Meyer},
  year = {2020},
  url = {https://arxiv.org/abs/2011.02795},
  note = {Source identifier: 2011.02795}
}