a) La partie recourante fait valoir que les motivations concernant les dérogations n’ont pas été jointes au dossier de publication du permis de construire et que la commune avait refusé de lui donner accès au dossier complet. La commune admet que les dérogations demandées figuraient dans le dossier, mais que la commune ne les a pas mis en consultation et que les parties ont le droit de consulter le dossier de la procédure. A son avis, une éventuelle violation du droit d’être entendu pourrait être corrigée dans la présente procédure. Selon l’intimée, le grief de la partie recourante doit être rejeté parce que l’autorité de céans peut réparer la violation du droit d’être entendu.