Update on 2025/10/15: my web page has moved! The new address is here; see also Hal, ResearchGate or Google Scholar.