[Utah-astronomy] Jean Texereau RIP